منابع مشابه
Coherent Sequences versus Radin Sequences
We attempt to make a connection between the sequences of measures used to deene Radin forcing and the coherent sequences of ex-tenders which are the basis of modern inner model theory. We show that in certain circumstances we can read oo sequences of measures as deened by Radin from coherent sequences of extenders, and that we can deene Radin forcing directly from a coherent extender sequence a...
متن کاملI. Coherent Sequences
I Coherent Sequences 3 by Stevo Todorcevic 1 The Space of Countable Ordinals . . . . . . . . . . . . . . . . . . 4 2 Subadditive Functions . . . . . . . . . . . . . . . . . . . . . . . . 12 3 Steps and Coherence . . . . . . . . . . . . . . . . . . . . . . . . . 19 4 The Trace and the Square-Bracket Operation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24 5 A Square-Bracket Ope...
متن کاملCoherent Frames
Frames which can be generated by the action of some operators (e.g. translation, dilation, modulation, ...) on a single element $f$ in a Hilbert space, called coherent frames. In this paper, we introduce a class of continuous frames in a Hilbert space $mathcal{H}$ which is indexed by some locally compact group $G$, equipped with its left Haar measure. These frames are obtained as the orbits of ...
متن کاملA Crossing with Java Threads and POSIX Threads
The primitives for Java threads and POSIX threads are compared by means of a simulation of cars at a crossing. These cars have to be synchronized in such a way that at every moment only cars in one direction proceed. The initial solution is based on compound await statements. This solution is subsequently implemented with Java threads and POSIX threads. These two thread formalisms differ: POSIX...
متن کاملA progression ring for interfaces of instruction sequences, threads, and services
We define focus-method interfaces and some connections between such interfaces and instruction sequences, giving rise to instruction sequence components. We provide a flexible and practical notation for interfaces using an abstract datatype specification comparable to that of basic process algebra with deadlock. The structures thus defined are called progression rings. We also define thread and...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Advances in Mathematics
سال: 2007
ISSN: 0001-8708
DOI: 10.1016/j.aim.2007.05.005